Predictability of Enforcement
نویسندگان
چکیده
The current theory of runtime enforcement is based on two properties for evaluating an enforcement mechanism: soundness and transparency. Soundness defines that the output is always good (“no bad traces slip out”) and transparency defines that good input is not changed (“no surprises on good traces”). However, in practical applications it is also important to specify how bad traces are fixed so that the system exhibits a reasonable behavior. We propose a new notion of predictability which can be defined in the same spirit of continuity in real-functions calculus. It defines that there are “no surprises on bad input”. We discuss this idea based on the feedback of an industrial case study on e-Health.
منابع مشابه
Key strategic issues with rural drink drive enforcement
Rural drink driving is a serious road safety issue which contributes to a significant number of fatalities and injuries in New Zealand annually. Although enforcement remains a key mechanism for reducing the incidence of rural drink driving, there are a number of crucial strategic issues that influence its effectiveness, including: who should conduct the enforcement, resource availability, enfor...
متن کاملAll Schedules Dynamic
This paper presents the AAected Set Priority Ceiling (ASPC) concurrency control protocol for real-time object-oriented databases. The protocol is based on a combination of a semantic locking technique and priority ceiling techniques. The paper speciies six criteria for real-time concurrency control: high concurrency, deadlock prevention, predictability, temporal consistency enforcement, logical...
متن کاملAnalysis of Crime in Pittsburgh
Through the course of human civilization, law and order has been a constantly pressing issue, dealt by monarchs and democracies in varying ways. In this project, we look at predictability of yearly totals of crime (concentrating on burglaries) in neighborhoods of Pittsburgh, given census data detailing characteristics of ethnicity, education, employment, population, transport, environment (natu...
متن کاملDynamic characterization and predictability analysis of wind speed and wind power time series in Spain wind farm
The renewable energy resources such as wind power have recently attracted more researchers’ attention. It is mainly due to the aggressive energy consumption, high pollution and cost of fossil fuels. In this era, the future fluctuations of these time series should be predicted to increase the reliability of the power network. In this paper, the dynamic characteristics and short-term predictabili...
متن کاملPredictability of Nurses Ethical Behavior from Human Resource Management Practices
Background: Today, commitment to ethical behavior is one of the most important concerns of patient care and medical field. The HR managers try to improve the ethical climate in this domain by using effective strategies and practices. Therefore, the aim of this study was to examine the predictability of nurses' ethical behavior by HRM activities by using the public health service networks. Metho...
متن کامل